On the construction of specifications from requirements
نویسندگان
چکیده
Transforming real-world requirements into specifications which are appropriate for subsequent software development is at the heart of Requirements Engineering. Doing it systematically remains an open challenge. In this paper we present a formal approach to systematise the move from requirements to specifications in the context of Jackson’s Problem Frames.
منابع مشابه
Identifying and assessing the factors affecting the environmental events caused by the construction and operation of gas and steam plants (Case study: Mapna Group)
Background and Objective: One of the main consequences of incident events in today's industries, especially those associated with the quantity and range of chemicals, is the widespread environmental degradation. Therefore, identifying effective factors in the formation of incidents and analyzing the complex and interrelationship between them is an important and important topic in accident analy...
متن کاملTowards Automated Defect Detection: Object-oriented Modeling of Construction Specifications
This paper describes an ongoing research on the representation and reasoning about construction specifications, which is part of a bigger research project that aims at developing a formalism for automating the identification of deviations and defects on construction sites. We specifically describe the requirements on product and process models and an approach for representing and reasoning abou...
متن کاملComputer Aided Incremental Specification
Formal requirements specifications play an important role in enhancing the reliability and effectiveness of software development. They provide a precise, unambiguous standard for the construction of a system and raise the confidence in a planned system by enabling a proper mathematical analysis of its requirements. The construction of formal specifications can be effectively supported by comput...
متن کاملEvaluation of Project Critical Success Factors for Key Construction Players and Objectives
Critical Success Factors (CSFs) are used to support and evaluate the success of a strategic and tactical approach in project implementation in order to increase the probability of success. This system is used by executors in project delivery to achieve improved performance capabilities with limited resources. The present paper aims to identify the impact of CSFs amongst the main elements involv...
متن کاملComprehension by Derivation
We argue that to comprehend a software system is to have a handle on its requirements, specifications, and design decisions. These kinds of information support the reuse of system code for a variety of purposes and support its ongoing extension, migration, and evolution. Our work at Kestrel Institute has focused on ways to mechanize the development and evolution of software from formal specific...
متن کامل